Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
331	Deductive Verification of Data Structures Jens Gerlach DEVICE-SOFT Workshop Berlin, October 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Computing Stack C++ Standard Library Subroutine Queue Stack machine Abstract data types Computer programming Software engineering
332	Busitech QW 5.0 versionApril 8, 2009 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:42 Windows Registry Validation Dynamic-link library Verification and validation Software testing Science Software Pharmaceutical industry Validity System software
333	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
334	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
335	SyEN #019: News in the Field of Systems Engineering \| Project Performance International:49 AM Project Performance International Systems Engineering Add to Reading List Source URL: www.ppi-int.com Language: English - Date: 2010-04-29 18:49:20 Systems theory Requirement System of systems engineering Verification TRAK Software development process Validation Software verification Systems architecture Systems engineering Systems science Science
336	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
337	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
338	2011 12th International Workshop on Microprocessor Test and Verification Automatic generation of software-based functional failing test for speed debug and on-silicon timing verification E. Sanchez , G. Squillero , A. Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2012-06-28 00:31:22 X86 instructions Parallel computing IBM PC compatibles MOV Celeron Nehalem Intel Core Multi-core processor Overclocking Computer architecture Computing Computer hardware
339	Microsoft PowerPoint - Seshia-UsableVerif-Nov10 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-15 20:44:04 Electronics Cyber-physical system Model checking Worst-case execution time Embedded system Static timing analysis Software verification System Actor model Technology Computing Software testing
340	Why Should I Believe My Code? Add to Reading List Source URL: w3.pppl.gov Language: English - Date: 2013-07-01 14:39:59 Science Formal methods Software engineering Food safety Systems engineering Verification and validation Validation Software development process Edgar Degas Pharmaceutical industry Validity Computing

UPDATE